Object type - PDFSEARCH.IO - Document Search Engine

Object type
Results: 830

#	Item
151	TURBO PASCAi.: PROCEDURES AND FUNCTIONS Abs (Num) : real or integer; ........... Returns the absolute value of a number. Addr (Var) : pointer; ..................... Returns the address of a variable. Append (FilVar); ... Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Computing Software engineering Computer programming Data types Object-oriented programming languages Type theory Pointer Scala Lookup table Pascal More Variable
152	Surpass Manual Ana Nelson July 2, 2010 2 Add to Reading List Source URL: surpass.ananelson.com Language: English - Date: 2010-07-02 14:09:44 Software engineering Computer programming Computing Object-oriented programming languages Scripting languages Ruby Array data type Spreadsheet
153	Patterns as Objects in Grace Michael Homer James Noble Kim B. Bruce Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2012-10-14 16:46:09 Software engineering Computer programming Computing Functional programming Object-oriented programming languages Functional languages Data types Subroutines Scala Pattern matching Algebraic data type Factory
154	JPure: A Modular Purity System for Java David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Email: Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2011-01-09 16:00:58 Type theory Data types Object-oriented programming languages Object Program analysis Type system Iterator Const Method Objective-C Type signature Covariance and contravariance
155	Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nz Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2012-11-09 02:30:24 Type theory Data types Functional languages Object-oriented programming Type systems Subtyping Whiley OCaml ALGOL 68 Type conversion Const ML
156	A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:17 Type theory Object-oriented programming Polymorphism Subtyping Base Mathematics Structure
157	Statically Checking API Protocol Conformance with Mined Multi-Object Specifications Michael Pradel Department of Computer Science ETH Zurich, Switzerland Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2012-04-01 07:44:25 Data types Object-oriented programming Iterator Object Communications protocol Application programming interface Objective-C Type system Software bug Class
158	Vandevoorde/Josuttis: C++ Templates October 6, 2002 page v Contents Preface Add to Reading List Source URL: www.josuttis.com Language: English - Date: 2002-12-25 20:37:29 C++ Subroutines Generic programming Type theory Template Barton–Nackman trick Function object Constructor Function overloading Software engineering Computing Computer programming
159	Recursive Object-Oriented Modules Keiko Nakata1 1 Akira Ito2 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2004-09-30 06:08:39 Algebraic structures Module theory Homological algebra Algebraic geometry Module D-module Flat module Type system Abstract algebra Algebra Mathematics
160	A Type System for Components? Ornela Dardha1 1 Elena Giachino1 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-11-21 06:03:26 Mathematics Programming language theory Object-oriented programming Polymorphism Program analysis Type system Symbol Structure Subtype polymorphism Type theory Data types Software engineering

UPDATE